($e$ $<$loc ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$loc($e$) $=$ loc(${\it e'}$) \& ($e$ $<$ ${\it e'}$)